From CML to its process algebra

From CML to its Process Algebra

Reppy's language CML extends Standard ML of Milner et al. with primitives for communication. It thus inherits a notion of strong polymorphic typing and may be equipped with a structural operational semantics. As a rst step we formulate an eeect system for statically expressing the communication behaviours of CML programs as these are not reeected in the types. As a second step we adapt the stru...

From CML to Process Algebras

Reppy’s language CML extends Standard ML of Milner et al. with primitives for communication. It thus inherits a notion of strong polymorphic typing and may be equipped with a structural operational semantics. We formulate an effect system for statically expressing the communication behaviours of CML programs as these are not otherwise reflected in the types. We then show how types and behaviour...

From Process Algebra to Java Code

The Æ -calculus, a new calculus based on the -calculus, is a model for mobile distributed computation. The Æ -calculus can be used to specify applications, in order to reason about their security and correctness properties. The Æ primitives have been been implemented as a Java API. The implementation in Java provides a means of bridging the gap between application specification and implementation.

Probabilistic Process Algebra Probabilistic Process Algebra

Dynamic Consistency in Process Algebra: From Paradigm to ACP

The coordination modelling language Paradigm addresses collaboration between components in terms of dynamic constraints. Within a Paradigm model, component dynamics are consistently specified at various levels of abstraction. The operational semantics of Paradigm is given. For a large, general subclass of Paradigm models a translation into process algebra is provided. Examples of a scheduling p...